42 ideas
| 22024 | Fichte's subjectivity struggles to then give any account of objectivity [Pinkard on Fichte] |
| 12585 | Most people can't even define a chair [Peacocke] |
| 10775 | The axiom of choice now seems acceptable and obvious (if it is meaningful) [Tharp] |
| 10766 | Logic is either for demonstration, or for characterizing structures [Tharp] |
| 10767 | Elementary logic is complete, but cannot capture mathematics [Tharp] |
| 10769 | Second-order logic isn't provable, but will express set-theory and classic problems [Tharp] |
| 10762 | In sentential logic there is a simple proof that all truth functions can be reduced to 'not' and 'and' [Tharp] |
| 22017 | Normativity needs the possibility of negation, in affirmation and denial [Fichte, by Pinkard] |
| 10776 | The main quantifiers extend 'and' and 'or' to infinite domains [Tharp] |
| 10774 | There are at least five unorthodox quantifiers that could be used [Tharp] |
| 10773 | The Löwenheim-Skolem property is a limitation (e.g. can't say there are uncountably many reals) [Tharp] |
| 10777 | Skolem mistakenly inferred that Cantor's conceptions were illusory [Tharp] |
| 10765 | Soundness would seem to be an essential requirement of a proof procedure [Tharp] |
| 10763 | Completeness and compactness together give axiomatizability [Tharp] |
| 10770 | If completeness fails there is no algorithm to list the valid formulas [Tharp] |
| 10771 | Compactness is important for major theories which have infinitely many axioms [Tharp] |
| 10772 | Compactness blocks infinite expansion, and admits non-standard models [Tharp] |
| 10764 | A complete logic has an effective enumeration of the valid formulas [Tharp] |
| 10768 | Effective enumeration might be proved but not specified, so it won't guarantee knowledge [Tharp] |
| 22018 | Necessary truths derive from basic assertion and negation [Fichte, by Pinkard] |
| 22064 | Fichte's logic is much too narrow, and doesn't deduce ethics, art, society or life [Schlegel,F on Fichte] |
| 22032 | Fichte's key claim was that the subjective-objective distinction must itself be subjective [Fichte, by Pinkard] |
| 12581 | Perceptual concepts causally influence the content of our experiences [Peacocke] |
| 12579 | Perception has proto-propositions, between immediate experience and concepts [Peacocke] |
| 22020 | We only see ourselves as self-conscious and rational in relation to other rationalities [Fichte] |
| 12586 | Consciousness of a belief isn't a belief that one has it [Peacocke] |
| 22060 | The Self is the spontaneity, self-relatedness and unity needed for knowledge [Fichte, by Siep] |
| 22066 | Novalis sought a much wider concept of the ego than Fichte's proposal [Novalis on Fichte] |
| 22016 | The self is not a 'thing', but what emerges from an assertion of normativity [Fichte, by Pinkard] |
| 22019 | Consciousness of an object always entails awareness of the self [Fichte] |
| 22061 | Judgement is distinguishing concepts, and seeing their relations [Fichte, by Siep] |
| 18568 | Philosophy should merely give necessary and sufficient conditions for concept possession [Peacocke, by Machery] |
| 18571 | Peacocke's account of possession of a concept depends on one view of counterfactuals [Peacocke, by Machery] |
| 18572 | Peacocke's account separates psychology from philosophy, and is very sketchy [Machery on Peacocke] |
| 12577 | Possessing a concept is being able to make judgements which use it [Peacocke] |
| 12578 | A concept is just what it is to possess that concept [Peacocke] |
| 12587 | Employing a concept isn't decided by introspection, but by making judgements using it [Peacocke] |
| 12584 | An analysis of concepts must link them to something unconceptualized [Peacocke] |
| 9335 | Concepts are constituted by their role in a group of propositions to which we are committed [Peacocke, by Greco] |
| 9336 | A concept's reference is what makes true the beliefs of its possession conditions [Peacocke, by Horwich] |
| 22023 | Fichte's idea of spontaneity implied that nothing counts unless we give it status [Fichte, by Pinkard] |
| 22065 | Fichte reduces nature to a lifeless immobility [Schlegel,F on Fichte] |